Sen - R 9709 1997
نویسنده
چکیده
We deene a speciication language called`timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL 17]. It diiers in two main aspects. It is possible to make explicit reference to time using a newàt' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made between constructors and functions in the datatypes. Care has been taken that every CRL speciication is also a correct timed CRL speciication with exactly the same meaning.
منابع مشابه
Learning Situation - Specific Control in Multi - Agent Systems
LEARNING SITUATION-SPECIFIC CONTROL IN MULTI-AGENT SYSTEMS
متن کاملA dual variant of Benson's "outer approximation algorithm" for multiple objective linear programming
Geometric duality theory for multiple objective linear programmes is used to derive a dual variant of Benson’s outer approximation algorithm to solve multiobjective linear programmes in objective space. We also suggest some improvements of the original version of the algorithm and prove that solving the dual provides a weight set decomposition. We compare both algorithms on small illustrative a...
متن کاملInteracting noise sources shape patterns of arm movement
8 Authors: 9 Gregory A. Apker, Timothy K. Darling, Christopher A. Buneo 10 11 School of Biological and Health Systems Engineering 12 Arizona State University 13 P.O. Box 879709 14 Tempe, AZ 85287-9709 15 USA 16 17 Running Head: Sources of reaching variability 18 19 Corresponding Author: C. A. Buneo, School of Biological and Health Systems Engineering, 20 Arizona State University, P.O. Box 87970...
متن کاملTowards a social level characterisation of socially responsible agents
This paper presents a high-level framework for analysing and designing intelligent agents. The framework’s key abstraction mechanism is a new computer level called the Social Level. The Social Level sits immediately above the Knowledge Level, as defined by Allen Newell, and is concerned with the inherently social aspects of multiple agent systems. To illustrate the working of this framework, an...
متن کامل